EXTRA_DIST=goal.gif  man.gif  object.gif  saveman.gif  stone.gif  treasure.gif
